2010-12-10 Tristan Gingold <gingold@adacore.com> * src-release (ETC_SUPPORT): add gnu-oids.texi
diff --git a/src-release b/src-release index bdb8c1d..8c25e6b 100644 --- a/src-release +++ b/src-release
@@ -57,7 +57,7 @@ # Files in devo/etc used in any net release. ETC_SUPPORT= Makefile.in configure configure.in standards.texi \ make-stds.texi standards.info* configure.texi configure.info* \ - ChangeLog configbuild.* configdev.* fdl.texi texi2pod.pl + ChangeLog configbuild.* configdev.* fdl.texi texi2pod.pl gnu-oids.texi # When you use `make setup-dirs' or `make taz' you should always redefine
